"proof by contradiction" is not in the dictionary.